861. Progress in applications of boolean functions /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.

رده :
QA10
.
3

862. Prolog++ : the power of object-oriented and logic programming

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming

رده :
QA
76
.
73
.
P2
.
M69
1994

863. Proofs and Algorithms : Introduction to Logic and Computability Theory

المؤلف:

المکتبة: (طهران)

موضوع: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms

رده :
QA
76
.
9
.
L36D68

864. Proofs and Algorithms: an introduction to logic and computability

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms

رده :
QA
9
.
D68
2011

865. Rapid Prototyping of Digital Systems

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Field Programmable-- Gate Arrays,، Programmable-- Array Logic,، Vhdl )Computer Hardware Description Language(

رده :
TK
7895
.
G36
.
H36
2008

866. Rapid prototyping of digital system

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Field programmable gate arrays--Computer-aided design,Logic design.,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping.

رده :
TK
,
7895
,.
G36
,
H36
,
2005

867. Rapid prototyping of digital system

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Field programmable gate arrays--Computer-aided design,Logic design.,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping.

رده :
TK
,
7895
,.
G36
,
H36
,
2008

868. Rapid prototyping of digital systems

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Field programmable gate arrays-- Computer aided design,، Programmable array logic,، VHDL )Computer hardware description language(

رده :
TK
7895
.
G36
.
H36
2000

869. Rapid prototyping of digital systems

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Field programmable gate arrays- Computer-aided design,Logic design,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping

رده :
TK7895
.
G36
,
H36
2005

870. Rapid prototyping of digital systems

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Field programmable gate arrays- Computer-aided design,Logic design,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping

رده :
E-BOOK

871. Rapid prototyping of digital systems

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: aided design. ; Logic design. ; VHDL (Computer hardware description language) ; Verilog (Computer hardware description language) ; Rapid prototyping. ; -Field programmable gate arrays ; Computer

872. Rapid prototyping of digital systems

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: aided design. ; Logic design. ; VHDL (Computer hardware description language) ; Verilog (Computer hardware description language) ; Rapid prototyping. ; -Field programmable gate arrays ; Computer

873. Rapid prototyping of digital systems

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Field programmable gate arrays-- Computer-aided design.,Programmable array logic.,Rapid prototyping.,VHDL (Computer hardware description language)

رده :
TK7895
.
G36
H36
2001eb

874. Rapid prototyping of digital systems

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Field programmable gate arrays -- Computer-aided design,، Programmable array logic,، VHDL )Computer hardware description language(

رده :
TK
7895
.
G36
H36

875. Rapid prototyping of digital systems

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Field programmable gate arrays-- Computer-aided design.,Programmable array logic.,Rapid prototyping.,VHDL (Computer hardware description language)

رده :
TK7895
.
G36
H36
2001eb

876. Rapid prototyping of digital systems ]electronic resources[

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Field programmable gate arrays-- Computer-aided design,، Logic design,، VHDL )Computer hardware description language(,، Verilog )Computer hardware description language(,، Rapid prototyping

رده :
TK
7895
.
G36
.
H36
2005

877. Rapid prototyping of digital systems sopc edition

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: Computer-aided design ، Field programmable gate arrays,، Logic design,، VHDL )Computer hardware description language(,، Rapid prototyping

رده :
TK
7895
.
G36
H36

878. Reachability Problems.

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a04,a03,a04

رده :
QA
76
.
R4
2015
E-Book
,

879. Reachability Problems

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گراف‌ها -- داده‌پردازی -- کنگره‌ها

رده :
E-Book
,

880. Reachability problems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.

رده :
QA76
.
76
.
V47